Use XIL/XLI instead of make_number/XINT for converting descriptor to a ptr.
authorEli Zaretskii <eliz@gnu.org>
Thu, 18 Oct 2012 05:13:29 +0000 (07:13 +0200)
committerEli Zaretskii <eliz@gnu.org>
Thu, 18 Oct 2012 05:13:29 +0000 (07:13 +0200)
commit6e899fd8ae1f686d9468de7a9a0eeba3eb779861
tree73fe2a0a307629739c79abddf1bad53a95146912
parent4a3d7a85ada4a41e32d250bccd69b1aa5c27214b
Use XIL/XLI instead of make_number/XINT for converting descriptor to a ptr.
More safety checks in using the pointer obtained from descriptor.
Not tested yet.
src/w32inevt.c
src/w32notify.c
src/w32term.c
src/w32term.h